On this page you can get a detailed analysis of a word or phrase, produced by the best artificial intelligence technology to date:
Em lógica e filosofia, S5 é um dos cinco sistemas de lógica modal propostos por Clarence Irving Lewis e Cooper Harold Langford no livro Symbolic Logic, de 1932. É uma lógica modal normal, e um dos mais velhos sistemas de lógica modal.